Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial ChatGPT
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
Qué (quién) es discriminated union - definición
WIKIMEDIA DISAMBIGUATION PAGE
Discriminated union (disambiguation)
discriminated union
<theory> The discriminated union of two sets A and B is
A + B = (inA, a) | a in A U (inB, b)| b in B
where inA and inB are arbitrary tags which specify which
summand an element originates from.
A type (especially an algebraic data type) might be
described as a discriminated union if it is a sum type whose
objects consist of a tag to say which part of the union they
belong to and a value of the corresponding type.
(1995-04-25)
disjoint union
MODIFIED UNION OPERATION THAT INDEXES THE ELEMENTS ACCORDING TO WHICH SET THEY ORIGINATED IN
Disjoint unions; ⨆; ⊔
In domain theory, a union (or sum) which results in a domain
without a least element.
Disjoint union
MODIFIED UNION OPERATION THAT INDEXES THE ELEMENTS ACCORDING TO WHICH SET THEY ORIGINATED IN
Disjoint unions; ⨆; ⊔
and is the set formed from the elements of and labelled (indexed) with the name of the set from which they come. So, an element belonging to both and appears twice in the disjoint union, with two different labels.
Wikipedia
Discriminated union
The term discriminated union may refer to:
- Disjoint union in set theory.
- Tagged union in computer science.
